Shape($M$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$MsgA(ds($M$);da($M$))